r:RngSig, m:(|r|). IsMaxIdeal(r;m)   

latex

Up	rings 1
Definitions of Statement	IsMaxIdeal(r;m)
Definitions	x f y, x:A. B(x), IsMaxIdeal(r;m), t  T, , x:A. B(x)
Lemmas	rng sig wf, rng one wf, rng minus wf, rng times wf, rng plus wf, not wf, iff wf, rng car wf